10. AI*IA 2018 -- advances in artificial intelligence :
پدیدآورنده : Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q334
12. An introduction to machine learning /
پدیدآورنده : Miroslav Kubat.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Big data.,Computational intelligence.,Data mining.,Machine learning.,Artificial intelligence.,Artificial intelligence.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computational intelligence.,Computer science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Data mining.
رده :
QA76
.
9
.
D343
K83
2017
13. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
14. Automata, logics, and infinite games
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
15. Automata, logics, and infinite games
پدیدآورنده : / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
رده :
QA
,
76
.
9
,.
M35
,
A85
,
2002
16. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
18. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
19. Bayesian Approach to Global Optimization :
پدیدآورنده : by Jonas Mockus.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
20. Case-based reasoning research and development :
پدیدآورنده : Michael T. Cox, Peter Funk, Shahina Begum (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Case-based reasoning, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Appl. in Administrative Data Processing.,Information Storage and Retrieval.,Mathematical Logic and Formal Languages.,Special Purpose and Application-Based Systems.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Case-based reasoning.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q338
.
8
